Proto-Ong-Be Initials and Finals

Concurrent Hyland-Ong games

We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: on the one hand it is conservative with respect to standard Hyland-Ong games when interpreting purely functional programs as innocent strategies, while on the other hand it is much more expressive. The interpretation o...

The Conjoint Finals

A note onG-preinvex functions

*Correspondence: [email protected] 1Department of Mathematics, Hanshan Normal University, Chaozhou, Guangdong 521041, China Full list of author information is available at the end of the article Abstract With the equivalent relationships between the G-generalized invexities and general invexities on the hand, we present two characterizations for G-preinvexity; we also discuss the relationships...

IRAS 18511 + 0146 : a proto Herbig Ae / Be cluster ?

Context. The evolution of a young protocluster depends on the relative spatial distribution and dynamics of both stars and gas. Aims. We study the distribution and properties of the gas and stars surrounding the luminous (10 4 L⊙) protocluster IRAS 18511+0146. Methods. IRAS 18511+0146 and the cluster associated with it has been investigated using the sub-millimetre (JCMT-SCUBA), infrared (Spitz...

Holistic Processing in Speech Perception: Experts' and Novices' Processing of Isolated Cantonese Syllables

Holistic processing is an expertise marker in visual perception. Here we tested participants’ perception of Cantonese syllables through composite paradigm commonly used for measuring holistic processing in vision research. We found that participants were more holistic in processing syllable initials than finals, possibly because initials are shorter and more easily combined with neighboring seg...